Equity was first established as a terminus technicus by Aristotle, but the word was initially shaped by Plato in his Statesman. Aristotle considers equity as a necessary criterion of the interpretation of human action, i.e., the ultimate, the particular moral situation, given that law is general, and every moral agent makes different moral choices, since man exhibits a multiplicity of purposes as a being and every person acts on the basis of a variety of moral perspectives and values. Therefore, the (...) task of every judge is to trace the moral choice made by a moral agent, as well as to interpret the law and attribute justice, since, as it is attested, law may be deficient, whereas this does not necessarily apply to justice itself. (shrink)

The literature on deep brain stimulation (DBS) and adaptive DBS (aDBS) raises concerns that these technologies may affect personality, mood, and behavior. We conducted semi-structured interviews with researchers (n = 23) involved in developing next-generation DBS systems, exploring their perspectives on ethics and policy topics including whether DBS/aDBS can cause such changes. The majority of researchers reported being aware of personality, mood, or behavioral (PMB) changes in recipients of DBS/aDBS. Researchers offered varying estimates of the frequency of PMB changes. A (...) smaller majority reported changes in personality specifically. Some expressed reservations about the scientific status of the term ‘personality,’ while others used it freely. Most researchers discussed negative PMB changes, but a majority said that DBS/aDBS can also result in positive changes. Several researchers viewed positive PMB changes as part of the therapeutic goal in psychiatric applications of DBS/aDBS. Finally, several discussed potential causes of PMB changes other than the device itself. (shrink)

El Himno a san Demetrio (nº 71) de Romano Melodo presenta en su desenlace de la historia del martirio un excursus sin relación alguna con la leyenda del santo y las versiones de su hagiografía que traslada a los fieles oyentes un sentir eminentemente antiherético, en concreto, antimaniqueísta. En este artículo se propone una traducción a la lengua castellana de dicho fragmento griego y se analiza la digresión por parte del autor del texto hímnico, tratando de arrojar luz sobre el (...) contexto de producción y ejecución del kontákion en honor del santo tesalonicense. (shrink)

Vocal bursts are non-linguistic affectively-laden sounds with a crucial function in human communication, yet their affective structure is still debated. Studies showed that ratings of valence and arousal follow a V-shaped relationship in several kinds of stimuli: high arousal ratings are more likely to go on a par with very negative or very positive valence. Across two studies, we asked participants to listen to 1,008 vocal bursts and judge both how they felt when listening to the sound (i.e. core affect (...) condition), and how the speaker felt when producing it (i.e. perception of affective quality condition). We show that a V-shaped fit outperforms a linear model in explaining the valence-arousal relationship across conditions and studies, even after equating the number of exemplars across emotion categories. Also, although subjective experience can be significantly predicted using affective quality ratings, core affect scores are significantly lower in arousal, less extreme in valence, more variable between individuals, and less reproducible between studies. Nonetheless, stimuli rated with opposite valence between conditions range from 11% (study 1) to 17% (study 2). Lastly, we demonstrate that ambiguity in valence (i.e. high between-participants variability) explains violations of the V-shape and relates to higher arousal. (shrink)

This article critiques the theological and moral foundations that undergird the approach of the document For the Life of the World: Toward a Social Ethos of the Orthodox Church to the question of the Church's role in the public sphere. The article's focus is essentially two-fold. First, it strives to clarify For the Life of the World's hermeneutical method through a consideration of its frequent appeals to the authority of the Orthodox tradition. Second, the article seeks to understand the document's (...) tacit reliance upon a Eucharistic model of ecclesiology and its connection to the recurring theme of the ‘transfiguring of the world’. (shrink)

La pobreza tiene una base material, la penuria de recursos. Pero su naturaleza es moral, consiste en el reconocimiento de que ciertas situaciones son acreedoras de acciones preventivas o remediadoras. Las sociedades vienen colocando tradicionalmente el umbral de pobreza en el punto por debajo del cual esta en peligro la subsistencia. Pero la conciencia reformista del mundo occidental ha llegado a servirse de la idea de pobreza para señalar los fallos de su compromiso de igualdad social. No se trata tanto (...) de una benévola elevación del baremo, como de una reconceptualización acorde con la ideología política dominante. (shrink)

In this paper we provide frame definability results for weak versions of classical modal axioms that can be expressed in Fitting's many-valued modal languages. These languages were introduced by M. Fitting in the early '90s and are built on Heyting algebras which serve as the space of truth values. The possible-worlds frames interpreting these languages are directed graphs whose edges are labelled with an element of the underlying Heyting algebra, providing us a form of many-valued accessibility relation. Weak axioms of (...) the form we treat here have been examined from the completeness perspective and further explored for applications in non-monotonic reasoning. Here, we introduce more weak many-valued modal axioms and prove a frame correspondence result for all of them. The classes of corresponding labelled frames possess algebraic properties which are strongly reminiscent of many classical ones, such as the Church-Rosser property, reflexivity, transitivity, partial functionality, etc. (shrink)

We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a Heyting algebra, which serves as the space of truth values, and is interpreted on an interesting version of possible-worlds semantics: the modal frames are directed graphs whose edges are labelled with an element of the underlying Heyting algebra. We introduce interesting generalized forms of the classical axioms D, T, B, 4, (...) and 5 and prove that they are canonical for certain algebraic frame properties, which generalize seriality, reflexivity, symmetry, transitivity and euclideanness. Our results are quite general as they hold for any modal language built on a complete Heyting algebra. (shrink)

We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a Heyting algebra, which serves as the space of truth values, and is interpreted on an interesting version of possible-worlds semantics: the modal frames are directed graphs whose edges are labelled with an element of the underlying Heyting algebra. We introduce interesting generalized forms of the classical axioms D, T, B, 4, (...) and 5 and prove that they are canonical for certain algebraic frame properties, which generalize seriality, reflexivity, symmetry, transitivity and euclideanness. Our results are quite general as they hold for any modal language built on a complete Heyting algebra. (shrink)

Defeasible conditionals are statements of the form ‘if A then normally B’. One plausible interpretation introduced in nonmonotonic reasoning dictates that ) is true iff B is true in ‘most’ A-worlds. In this paper, we investigate defeasible conditionals constructed upon a notion of ‘overwhelming majority’, defined as ‘truth in a cofinite subset of \’, the first infinite ordinal. One approach employs the modal logic of the frame \\), used in the temporal logic of discrete linear time. We introduce and investigate (...) conditionals, defined modally over \\); several modal definitions of the conditional connective are examined, with an emphasis on the nonmonotonic ones. An alternative interpretation of ‘majority’ as sets cofinal ) rather than cofinite ) is examined. For these modal approaches over \\), a decision procedure readily emerges, as the modal logic \ of this frame is well-known and a translation of the conditional sentences can be mechanically checked for validity; this allows also for a quick proof of \-completeness of the satisfiability problem for these logics. A second approach employs the conditional version of Scott-Montague semantics, in the form of \-many possible worlds, endowed with neighborhoods populated by collections of cofinite subsets of \. This approach gives rise to weak conditional logics, as expected. The relative strength of the conditionals introduced is compared to KLM logics and other conditional logics in the literature. (shrink)

We introduce a bimodal epistemic logic intended to capture knowledge as truth in all epistemically alternative states and belief as a generalised ‘majority’ quantifier, interpreted as truth in most of the epistemically alternative states. This doxastic interpretation is of interest in knowledge-representation applications and it also holds an independent philosophical and technical appeal. The logic comprises an epistemic modal operator, a doxastic modal operator of consistent and complete belief and ‘bridge’ axioms which relate knowledge to belief. To capture the notion (...) of a ‘majority’ we use the ‘large sets’ introduced independently by K. Schlechta and V. Jauregui, augmented with a requirement of completeness, which furnishes a ‘weak ultrafilter’ concept. We provide semantics in the form of possible-worlds frames, properly blending relational semantics with a version of general Scott–Montague frames and we obtain soundness and completeness results. We examine the validity of certain epistemic principles discussed in the literature, in particular some of the ‘bridge’ axioms discussed by W. Lenzen and R. Stalnaker, as well as the ‘paradox of the perfect believer’, which is not a theorem of. (shrink)

This paper discusses the relationship between obesity, law, and public health preparedness as well as the relevant roles of public health practitioners, policymakers, and lawyers. Each group believes they have a unique role in this relationship although there can be overlap and/or lack of clarity as to what that role may be.The role of the lawyer in the public policy process is to identify relevant legal issues, to analyze them and give advice on the risks of taking a given action, (...) and to communicate legal advice in a clear manner. Simply put, the lawyer’s role is to dive deep into the law surrounding the topic at hand and to offer advice regarding the permissible limits of policymakers’ options and the associated risks. (shrink)

This paper discusses the relationship between obesity, law, and public health preparedness as well as the relevant roles of public health practitioners, policymakers, and lawyers. Each group believes they have a unique role in this relationship although there can be overlap and/or lack of clarity as to what that role may be.The role of the lawyer in the public policy process is to identify relevant legal issues, to analyze them and give advice on the risks of taking a given action, (...) and to communicate legal advice in a clear manner. Simply put, the lawyer’s role is to dive deep into the law surrounding the topic at hand and to offer advice regarding the permissible limits of policymakers’ options and the associated risks. (shrink)

This paper provides an overview of recent US Department of Health and Human Services initiatives and efforts — under the leadership of the General Counsel, the Secretary, and the President — regarding legal preparedness for public health emergencies. In addressing this topic, the paper focuses on four core elements comprising public health legal preparedness:effective legal authorities to support necessary public health activities;competencies of public health professionals to know and then to apply those laws;coordination of the application of laws across jurisdictions (...) and across multiple sectors; andinformation and best practices in public health law. (shrink)

This paper provides an overview of recent US Department of Health and Human Services initiatives and efforts — under the leadership of the General Counsel, the Secretary, and the President — regarding legal preparedness for public health emergencies. In addressing this topic, the paper focuses on four core elements comprising public health legal preparedness:effective legal authorities to support necessary public health activities;competencies of public health professionals to know and then to apply those laws;coordination of the application of laws across jurisdictions (...) and across multiple sectors; andinformation and best practices in public health law. (shrink)

Weak filters were introduced by K. Schlechta in the ’90s with the aim of interpreting defaults via a generalized ‘most’ quantifier in first-order logic. They arguably represent the largest class of structures that qualify as a ‘collection of large subsets’ of a given index set |$I$|⁠, in the sense that it is difficult to think of a weaker, but still plausible, definition of the concept. The notion of weak ultrafilter naturally emerges and has been used in epistemic logic and other (...) knowledge representation (KR) applications. We provide a comprehensive exposition of weak filters and ultrafilters, comparing them with their classical counterparts that have found very important applications in logic, set theory and topology. Weak (ultra)filters capture the ‘majorities’ of social choice theory (which coincide with the commonsense understanding of a ‘large subset’) and in that respect, they outperform classical (ultra)filters in their role as ‘collections of large subsets’. Yet, they lack some of the elegant properties of classical (ultra)filters that make them an almost perfect match for logical theories. We investigate the extent to which some important classical results carry through in this new setting, and we focus on genuinely weak filters and genuinely weak ultrafilters. For weak ultrafilters, we proceed to provide concrete examples, answer questions of existence and characterize their construction. The class of weak (ultra)filters represents a genuine contribution of KR to set theory that might be of some interest to set theorists too and we initiate this study by providing a glimpse on natural set-theoretic questions. (shrink)

The indexicality of film and sound recordings remains an unresolved problem in contemporary documentary theory. The prevailing conceptualisation of the documentary assigns it the status of a sober discourse, a framing in which history is modelled as absent cause and the unqualified distinction between fiction and non-fiction is considered sacrosanct. The denotative literalism characteristic of indexical media, however, confounds this conceptualisation, which in turn encourages the devaluing of documentary aesthetics; the documentary is not a medium of art, it is said, (...) but of argument. In this article, I examine how philosopher Jacques Rancière offers an alternative account of the documentary grounded on aesthetics rather than sobriety. I show how, in rethinking the absent cause model of history as well as the relationship between fiction and nonfiction, Rancière's aesthetic approach resolves the conceptual problem posed by indexicality and brings clarity to the value and function of indexical media with respect to the documentary. (shrink)

El trabajo tiene por objeto reflexionar críticamente sobre el retribucionismo como fin de la pena en el Estado constitucional de Derecho. Tomando como punto de partida el idealismo alemán, se analizan las reformulaciones más recientes de esta corriente de pensamiento aparentemente superada. Se propone una distinción metodológica entre los términos retribución, reprobación y venganza, en orden a la defensa de una teoría de la pena secularizada.

In this paper, we advocate the usage of the family of Heyting-valued modal logics, introduced by M. Fitting, by presenting a simple 3-valued modal language and axiomatizing an interesting 3-valued logic of belief. We give two simple bisimulation relations for the modal language, one that respects non-falsity and one that respects the truth value. The doxastic logic axiomatized, apart from being interesting in its own right for KR applications, it comes with an underlying 3-valued propositional logic which is a syntactic (...) variant of the ‘logic of here-and-there’, whose importance in KR and Logic Programming is well-known, it is endowed from its very inception with a Gentzen-style proof theory from [Fit92] and a completeness theorem from [KNP02], it can be equivalently seen as a logic describing the epistemic agreement of two interrelated agents: a K45 agent who ‘dominates’ an S5 agent, as we show here, its satisfiability problem is NP-complete, i.e. at the lower level one can expect for applied logics. This is the first concrete example of an epistemic logic from Fitting's framework, that has been overlooked hitherto, despite its many attractive characteristics. (shrink)

This article is an investigation into the field of neurotheology, a controversial field which has attracted criticism from both the scientific and religious community and which is often quite divided among its own practitioners. Regretfully, but not too unexpectedly, science has gotten entangled with ideology, as we shall see, with proponents on all sides of the spectrum using findings from the laboratory in support of their own philosophical positions. We will begin by exploring some definitions of the field and then (...) move on to examine the claims made by the different scientists working in this area, before examining what conclusions we can draw for spirituality. (shrink)

S4.2 is the modal logic of directed partial pre-orders and/or the modal logic of reflexive and transitive relational frames with a final cluster. It holds a distinguished position in philosophical...

A new methodology for developing theories of action has recently emerged which provides means for formally evaluating the correctness of such theories. Yet, for a theory of action to qualify as a solution to the frame problem, not only does it need to produce correct inferences, but moreover, it needs to derive these inferences from a concise representation of the domain at hand. The new methodology however offers no means for assessing conciseness. Such a formal account of conciseness is developed (...) in this paper. Combined with the existing criterion for correctness, our account of conciseness offers a framework where proposed solutions to the frame problem can be formally evaluated. (shrink)